Aspect-oriented programming - PDFSEARCH.IO - Document Search Engine

Aspect-oriented programming
Results: 317

#	Item
121	Softw Syst Model DOIs10270x R E G U L A R PA P E R A concern architecture view for aspect-oriented Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2006-11-02 02:26:42 Aspect-oriented programming Unified Modeling Language Aspect Software architecture Class diagram Package diagram Cross-cutting concern Stereotype Class Software development Software Aspect-oriented software development
122	Vol. 8, No. 5, July–AugustAn Overview of Feature-Oriented Software Development Sven Apel, Department of Informatics and Mathematics, University of Passau, Germany Add to Reading List Source URL: www.jot.fm Language: English - Date: 2009-07-28 03:27:28 Aspect-oriented software development Software design Project management Feature-oriented programming Feature model Software product line Domain engineering Product family engineering Software development methodology Software development Programming paradigms Software
123	Form Methods Syst Des: 61–92 DOIs10703MAVEN: modular aspect verification and interference analysis Max Goldman · Emilia Katz · Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-31 08:13:05 Aspect-oriented programming Join point Linear temporal logic AspectJ Pointcut Formal verification Model checking Kripke structure Temporal logic Software development Software Aspect-oriented software development
124	Aspect Categories and Classes of Temporal Properties Shmuel Katz Computer Science The Technion Haifa Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-27 04:16:54 Models of computation Temporal logic UML diagrams Aspect-oriented programming Abstraction Grammatical aspect Kripke structure Programming language Monad Software development Aspect-oriented software development Software engineering
125	Int J Softw Tools Technol Transfer DOIs10009REGULAR PAPER The common aspect proof environment Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-06-27 10:17:59 Aspect-oriented programming Java Pathfinder AspectJ Join point Spring Framework Formal verification Model checking AIDA Programming tool Software development Software Aspect-oriented software development
126	User Queries for Specification Refinement Treating Shared Aspect Join Points Emilia Katz, Shmuel Katz Computer Science Department Technion – Israel Institute of Technology Haifa, Israel Email: {emika, katz}@cs.technion Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-31 08:15:27 Aspect-oriented software development Join point Pointcut AspectJ Spring Framework Advice Monad Actor model Grammatical aspect Software development Software Aspect-oriented programming
127	Steve Zdancewic Research Statement September 4, 2007 Security-Oriented Languages The proliferation of network-enabled devices and the success of Internet applications has made it easier to access Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-05-13 09:16:55 Programming language International Conference on Functional Programming Ada Control flow ABLE Computer science ALGOL 68 Information flow Aspect-oriented programming Computing Software engineering Programming language theory
128	DTrace, Node.js, and Flame Graphs NodeConf 2012 David Pacheco (@dapsays) Joyent Node.js for systems programming Add to Reading List Source URL: dtrace.org Language: English - Date: 2012-07-05 15:04:42 Debuggers Aspect-oriented programming DTrace Node.js Joyent X Window System Profiling Latency Solaris Software Computing Computer programming
129	DTrace Boot Camp Adam Leventhal Solaris Kernel Development Sun Microsystems, Inc Add to Reading List Source URL: dtrace.org Language: English - Date: 2010-07-07 14:40:34 Aspect-oriented programming DTrace Adam Leventhal OpenSolaris Solaris X Window System ProbeVue Bryan Cantrill Software Computing Debuggers
130	Making Aspects Natural: Events and Composition Christoph Bockisch, Somayeh Malakuti, Mehmet Ak¸sit Software Engineering group, University of Twente, 7500 AE Enschede, The Netherlands Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-04-03 09:06:12 Aspect-oriented software development Aspect-oriented programming AspectJ Join point E Aspect ALGOL 68 C++ classes Runtime verification Software development Software Computing

UPDATE